大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

0
索取号：
作者：Palsberg、 Jens.、Su、 Zhendong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Bioinformatics and Computational Biology [electronic resource] : 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings

0
索取号：
作者：Guimar茫es、 Katia S.、Panchenko、 Anna.、Przytycka、 Teresa M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Fuzzy Cognitive Maps [electronic resource] : Advances in Theory, Methodologies, Tools and Applications

0
索取号：
作者：Glykas、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Distributed Computing III [electronic resource] : Proceedings of the 3rd International Symposium on Intelligent Distributed Computing 鈥ɄC 2009, Ayia Napa, Cyprus,October 2009

0
索取号：
作者：Papadopoulos、 George Angelos.、Badica、 Costin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Privacy Enhancing Technologies [electronic resource] : 9th International Symposium, PETS 2009, Seattle, WA, USA, August 5-7, 2009. Proceedings

0
索取号：
作者：Goldberg、 Ian.、Atallah、 Mikhail J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Towards a Theory of Thinking [electronic resource] : Building Blocks for a Conceptual Framework

0
索取号：
作者：Glatzeder、 Britt.、Goel、 Vinod.、M眉ller、 Albrecht.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Introduction to the Graphical Theory of Angular Momentum [electronic resource] : Case Studies

0
索取号：
作者：Balcar、 Ewald.、Lovesey、 Stephen W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

0
索取号：
作者：Ambos-Spies、 Klaus.、L枚we、 Benedikt.、Merkle、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Introduction to the Perturbation Theory of Hamiltonian Systems [electronic resource]

0
索取号：
作者：Treschev、 Dmitry.、Zubelevich、 Oleg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Spatial and Temporal Databases [electronic resource] : 11th International Symposium, SSTD 2009 Aalborg, Denmark, July 8-10, 2009 Proceedings

0
索取号：
作者：Mamoulis、 Nikos.、Seidl、 Thomas.、Pedersen、 Torben Bach.、Torp、 Kristian.、Assent、 Ira.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Theory of Zipf's Law and Beyond [electronic resource]

0
索取号：
作者：Saichev、 Alex.、Malevergne、 Yannick.、Sornette、 Didier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Boundary Theory of Phase Diagrams and Its Application [electronic resource] : Rules for Phase Diagram Construction with Phase Regions and Their Boundaries

0
索取号：
作者：Zhao、 Muyu.、Song、 Lizhu.、Fan、 Xiaobao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Positive Systems [electronic resource] : Proceedings of the third Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2009) Valencia, Spain, September 2-4, 2009

0
索取号：
作者：Bru、 Rafael.、Romero-Viv贸、 Sergio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Collective Decision Making [electronic resource] : Views from Social Choice and Game Theory

0
索取号：
作者：Van Deemen、 Adrian.、Rusinowska、 Agnieszka.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Quantum Field Theory on Curved Spacetimes [electronic resource] : Concepts and Mathematical Foundations

0
索取号：
作者：B盲r、 Christian.、Fredenhagen、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

0
索取号：
作者：Kullmann、 Oliver.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.